theorem.doc